Topological Logics with Connectedness over Euclidean Spaces
نویسندگان
چکیده
منابع مشابه
A Topological logics with connectedness over Euclidean spaces
We consider the quantifier-free languages, Bc and Bc◦, obtained by augmenting the signature of Boolean algebras with a unary predicate representing, respectively, the property of being connected, and the property of having a connected interior. These languages are interpreted over the regular closed sets of Rn (n ≥ 2) and, additionally, over the regular closed semilinear sets of Rn. The resulti...
متن کاملTopological Logics over Euclidean Spaces
In this paper we prove some results on the computational complexity of standard quantifierfree spatial logics with the connectedness predicate interpreted over the Euclidean spaces R and R. Topological logics with connectedness. A topological logic is a formal language whose variables range over subsets of topological spaces, and whose non-logical primitives denote fixed topological properties ...
متن کاملInterpreting Topological Logics over Euclidean Spaces
makes the intuitively reasonable assertion that, if region r1 externally contacts region r2 and is a non-tangential proper part of region r3, then r2 either partially overlaps, or else is a proper part (tangential or non-tangential) of r3. This particular topological logic, known as RCC8, has been intensively analysed in the literature on qualitative spatial reasoning; see e.g., (Egenhofer and ...
متن کاملP2-CONNECTEDNESS IN L-TOPOLOGICAL SPACES
In this paper, a certain new connectedness of L-fuzzy subsets inL-topological spaces is introduced and studied by means of preclosed sets. Itpreserves some fundamental properties of connected set in general topology.Especially the famous K. Fan’s Theorem holds.
متن کاملDynamic topological logics over spaces with continuous functions
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a continuous function on it. Here we partially solve a major open problem in the field by showing (by reduction of the ω-reachability problem for lossy channel systems) that the dynamic topological logic over arbitrary top...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Computational Logic
سال: 2013
ISSN: 1529-3785,1557-945X
DOI: 10.1145/2480759.2480765